$a$ $<_{b}$ $b$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$a$ $<_{b}$ $b$